Action Systems with Synchronous CommunicationR
نویسندگان
چکیده
The action system framework for modelling parallel and reactive programs is extended by adding procedure declarations to action systems. This permits remote procedure calls to be modelled within the framework. Synchronous message passing communication , being a special case of remote procedure calls, can therefore also be handled within this framework. This extension is done almost at no extra cost in the logical treatment of programs. The reenement calculus within which the reenement of action systems is formalized can be used with a minor extension to reason about action systems with procedures , as the methods are already there. The treatment of procedures was originally designed with sequential programs in mind, but is applicable to the remote procedure mechanism proposed here.
منابع مشابه
Application to Adaptive Control to Synchronous Machine Excitation
Self-tuning adaptive control technique has the advantage of being able to track the system operating conditions so that satisfactory control action can always be produced. Self-tuning algorithms can be implemented easily. Because the power systems are usually time varying non-linear systems and their parameters vary, adaptive controllers are very suitable for power systems. Characteristics of a...
متن کاملReducing the Limitation on Application of Synchronous Decorrelating Detector Cdma Systems
In CDMA (Code - Division Multiple - Access) systems multi - user accessing of a channel is possible. Under the assumptions of Optimum multi - user and decorrelating detector in CDMA systems. By using signals with zero and / or identical cross correlations, a simple and expandable decorrelating detector with optimum efficiency which can be easily implemented are proposed. Constructing these sign...
متن کاملComparative Study of the Performance of Static Synchronous Compensator, Series Compensator and Compensator /Battery Integrated to a Fixed Wind Turbine (RESEARCH NOTE)
This paper studies the interest of the integration of battery energy storage with Static Synchronous Compensator (STATCOM) for improving the low voltage ride through capability (LVRT) of a fixed speed wind turbine connected to the grid. For this reason and by applying a grid fault, a comparison is made between integrating the SSSC, the STATCOM and the STATCOM with battery energy storage. The sy...
متن کاملSynchronous Pipeline Design in Action Systems
The action systems formalism has recently been applied to the area of asynchronous and synchronous VLSI design. In this paper, we study formal aspects of synchronous pipelining. We show how the framework of synchronous action systems can be used to derive a pipelined structure from a non-pipelined specification in a correctness-preserving manner.
متن کاملSynchronization of Action Systems
The action systems framework has recently been applied to the area of synchronous VLSI design. Synchronous action systems explicitly model synchronous twophase behavior, making a formal description transparent, in the sense that its hardware implementation can be obtained by a direct mapping. The design methodology is based on correctly transformations of asynchronous circuit descriptions into ...
متن کامل